define unit and empty set